Z notacija

Šį puslapį ar jo dalį reikia sutvarkyti pagal Vikipedijos standartus. Jei galite, sutvarkykite.

Z notacija, pavadinta pagal Zermelo–Fraenkel aibių teoriją – formali specifikavimo kalba, naudojami aprašyti ir modeliuoti sistemas. Ji skirta programinės įrangos ir kompiuterių sistemoms specifikavimui.